#include <stdio.h>

int count;
extern void write_extern();

int main() {
    count = 5;
    write_extern();
}